(set-option :split-type "scattering")
(set-option :split-units "decisions")
(set-option :split-asap true)
(set-option :split-init-tune 2)
(set-option :split-mid-tune 2)
(set-option :split-num 4)
(set-option :split-format "smt2")
(set-option :dump-state "/dev/shm/asd")
